msg{-}rename(${\it rtinv}$;$m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$1of($m$)$,\,$outl(${\it rtinv}$(1of(2of($m$))))$,\,$2of(2of($m$))$\rangle$